(s3
 (s7 (if1cpe (if6cpe (if7cpe dn)))
     (if5cpe (if8cpe dn))
     (if3cpe dn))
 (if6cpe
  (if2cpe
   (s5 (if1cpe
        (if7cpe
         (if5cpe dn)))
       dn
       (if0cpe
        (s0 dn
            (if8cpe
             (s6 dn dn (if1cpe dn)))
            (if7cpe
             (s2 dn
                 dn
                 (s1 (s7 dn
                         (s6 dn (if1cpe dn) dn)
                         (if1cpe dn))
                     dn
                     dn))))))))
 (if6cpe
  (if2cpe
   (s5
    (if1cpe (if5cpe (s6 dn dn (if8cpe dn))))
    (s1 (if7cpe dn) dn dn)
    (if0cpe dn)))))









ORIGINAL

(s3
 (if4cpe
  (s7 (if1cpe (if6cpe (if7cpe dn)))
      (if5cpe (if8cpe dn))
      (if3cpe dn)))
 (if6cpe
  (if2cpe
   (s5 (if1cpe
        (if7cpe
         (s4 dn (if5cpe dn) dn)))
       dn
       (if0cpe
        (s0 dn
            (if8cpe
             (s6 dn dn (if1cpe dn)))
            (if7cpe
             (s2 dn
                 dn
                 (s1 (if4cpe
                      (s7 dn
                          (s6 dn (if1cpe dn) dn)
                          (s4 dn (if1cpe dn) dn)))
                     dn
                     dn))))))))
 (s4
  (s7 (if6cpe
       (s5
        (s6
         dn
         (if4cpe dn)
         (if8cpe (if4cpe dn)))
        (s6 dn dn (if1cpe dn))
        (if0cpe dn)))
      (if8cpe dn)
      dn)
  (if6cpe
	  (if2cpe
       (s5
        (if1cpe (if5cpe (s6 dn dn (if8cpe dn))))
        (s1 (if7cpe dn) dn dn)
        (if0cpe dn))))
  (s2 (if2cpe dn)
      (s5 (s7 (if6cpe (if8cpe dn))
              dn
              (if1cpe dn))
          dn
          (if0cpe
           (if1cpe
            (s7 dn
                (if8cpe dn)
                (if8cpe dn)))))
      dn)))